（来源：上观新闻）
一个可能显🔖🚔得天真🕷☪的观点是：英⚰伟达从🚅☮根本上🔊是在做🐰软件，而制造由其🔩🕦他人完成🇵🇸✅。所以，Ne🕛ver Tell🥺 Me Th🤷♀️e Odds 🤣这句话，放在马😶🥏斯克嘴里像性格📴3️⃣。（来源：arX😘iv） 如🥛🦟下图所示🇬🇫，FM🧾🌕-Agent 🧘♀️🕖提出了一种创新♍的自上而下规约生💊👩🚒成范式：从用户🎓🍳对系统🤗🍦整体正确🔟❗行为的期望🧤出发，逐步推导出🎄🙇每个函数🔭应满足☪的规约👻。任务目标是🧞♂️，训练一个能够🛶通过线方🗳式进行图🌯👯像识别的神经网🧺🐱络🇸🇷🇲🇵。
风口来了，但他选🍰✒择先站稳🚶♀️🐬。在今年的比赛中，🍉😋荣耀机器人包揽了🇩🇰➗赛事前📍🎧三名☣。所以AI经济的😢演变，不能被🇹🇻🥙简化成“工具吃🇱🇧掉模型”或“🇨🇩🇵🇫模型吞🙁😸噬一切8️⃣🈂”这种非黑即🥁🥊白的故事🍢。就我所在的🇹🇭🗡DevX开发者体👼验部门🇸🇱🔈而言，通常那🤫6️⃣些能动性高的人显🔔🇮🇩然都非常精通技🍄术，比如👩🚀能熟练掌☸握Codex🇹🇻这类工具🧖♂️🛏。那么，如何在绝对🇲🇺严谨与工程可用😯↗之间取得平衡💂♀️🇦🇽呢？FM-A🇲🇻gent 的基本🔚🎯思路是🧻：先分💆♂️📁析 LLM 👨🦲擅长什么，然后🈺🏇将其与传统😣🏁形式化验证流☎💡程进行㊗🇸🇻对照，判断哪些步🍦👩👧骤可以适当放宽对⚒😙“绝对严谨”🇲🇩❌的要求，从🎱而换取“工🏐程可用”🕟💣。
